Propositional calculus - PDFSEARCH.IO - Document Search Engine

Propositional calculus
Results: 1046

#	Item
961	Mathematical Logic as Based on the Theory of Types Bertrand Russell American Journal of Mathematics, Vol. 30, No. 3 (Jul., 1908), [removed]. Add to Reading List Source URL: www.cfh.ufsc.br Language: English - Date: 2009-03-04 08:57:27 Propositional calculus Functions and mappings Semantics Function Proposition Ordinal number Modal logic Negation Existential quantification Logic Mathematics Mathematical logic
962	Mathematical Logic Helmut Schwichtenberg Add to Reading List Source URL: www.mathematik.uni-muenchen.de Language: English - Date: 2010-07-21 04:18:08 Predicate logic Propositional calculus Logical syntax Proof theory First-order logic Natural deduction Well-formed formula Atomic formula Intuitionistic logic Logic Mathematical logic Mathematics
963	[removed]Metaphysics Counterfactuals Add to Reading List Source URL: web.mit.edu Language: English - Date: 2004-09-13 12:56:36 Philosophical logic Binary operations Counterfactual conditional Modal logic David Lewis Material conditional Contraposition Causality Possible world Logic Conditionals Propositional calculus
964	ON A DECIDABLE FRAGMENT OF PREDICATE CALCULUS Add to Reading List Source URL: suppes-corpus.stanford.edu Language: English - Date: 2008-11-05 20:24:12 Propositional calculus Proof theory Logical syntax First-order logic Monadic predicate calculus Decidability Well-formed formula Sequent calculus Proposition Logic Mathematical logic Predicate logic
965	The EBNF specification of the 3APL language for individual agents P rogram ::= Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2006-01-16 05:58:01 Predicate logic Logic Atom RSS Literal 3APL Computing Propositional calculus Multi-agent systems
966	Framework for Formal Ontology Barry Smith and Kevin Mulligan Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2010-12-28 12:49:21 Ontology Philosophical logic Predicate logic Formal sciences Propositional calculus Mereology Edmund Husserl Formal ontology Proposition Logic Philosophy Science
967	Substitution Frege and extended Frege proof systems in non-classical logics Emil Jeˇr´abek Add to Reading List Source URL: www.math.cas.cz Language: English - Date: 2008-11-24 09:00:50 Propositional calculus Modal logic Logic in computer science Philosophical logic Kripke semantics General frame Intermediate logic Intuitionistic logic Natural deduction Logic Mathematical logic Non-classical logic
968	An Introduction to Binary Decision Diagrams Henrik Reif Andersen Add to Reading List Source URL: www.cs.unb.ca Language: English - Date: 2004-10-04 19:51:22 Logic Propositional calculus Semantics Algebraic logic Formal methods Tautology Canonical form Truth table Conjunctive normal form Mathematics Mathematical logic Boolean algebra
969	Foundational Material • • Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2008-07-30 16:25:43 Propositional calculus Boolean algebra Logical connective If and only if Forcing Converse Existential quantification Modal logic Mathematical induction Logic Mathematical logic Mathematics
970	. Wesleyan University . Add to Reading List Source URL: emorehouse.web.wesleyan.edu Language: English - Date: 2013-04-18 17:56:39 Natural deduction Linear logic Sequent Intuitionistic logic Categorical logic Curry–Howard correspondence First-order logic Negation Propositional calculus Logic Mathematical logic Proof theory

UPDATE